Dialogue Games for Inconsistent and Biased Information
نویسندگان
چکیده
In this article, a dialogue game is presented in which coherent conversational sequences with inconsistent and biased information are described at the speech act level. Inconsistent and biased information is represented with bilattice structures, and based on these bilattice structures, a multi-valued logic is defined that makes it possible to describe a dialogue game in which agents can communicate about their cognitive states with inconsistent and biased information. A dialogue game is formalized by, first, defining the agent’s cognitive state as a set of multi-valued theories, second, by defining the dialogue rules that prescribe permissible communicative acts based on the agent’s cognitive state, and last, by defining update rules that change the agent’s cognitive state as a result of communicative acts. We show that an example dialogue with inconsistent and biased information can be derived from our dialogue game.
منابع مشابه
Relating dialogue games to information state
This paper1 discusses the use of ‘conversational’ or ‘dialogue games’ as a basis for building dialogue systems. We give a tutorial overview of some recent attempts to relate the notion of a dialogue act to changes of information state of the participants in a dialogue. These attempts all distinguish some notion of ‘grounded’ or ‘common’ propositions. We raise the question as to whether these at...
متن کاملA Dialogue Game to Agree to Disagree about Inconsistent Information
This paper proposes a dialogue game in which coherent conversational sequences at the speech act level are described of agents that become aware they have a disagreement and settle the dispute by agreeing to disagree when they believe insufficient propositions to resolve the situation. A dialogue game is formulated in which agents can offer information possibly resulting in non-reconcilable, mu...
متن کاملAn Argument-Based Approach to Using Multiple Ontologies
Logic-based argumentation offers an approach to querying and revising multiple ontologies that are inconsistent or incoherent. A common assumption for logic-based argumentation is that an argument is a pair 〈Φ,α〉 where Φ is a minimal subset of the knowledgebase such that Φ is consistent and Φ entails the claimα. Using dialogue games, agents (each with its own ontology) can exchange arguments an...
متن کاملTalking with NPCs: Towards Dynamic Generation of Discourse Structures
Dialogue in commercial games is largely created by teams of writers and designers who hand-author every line of dialogue and hand-specify the dialogue structure using finite state machines or branching trees. For dialogue heavy games, such as role playing games with significant NPC interactions, or emerging genres such as interactive drama, such hand specification significantly limits the playe...
متن کاملColosseum An Automated Theorem Prover for Intuitionistic Predicate Logic based on Dialogue Games
Game theory can be a basis for theorem proving. In Dialogue Logic the validity of a formula F is examined in two person, perfect information games. After a brief description of Dialogue Logic and introductionary examples we discuss some implementation issues of Colosseum, our theorem prover implementing Dialogue Games. We describe the search space one has to conquer and propose search tactics t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 85 شماره
صفحات -
تاریخ انتشار 2004